(struct w32_output): New member menu_command_in_progress.

diff --git a/src/w32term.h b/src/w32term.h
index cd5d8ebf8dddec06e663e9f4daaed2d3b86278a0..910d06ba9a7d526c5d4660a281fbd769ddbc719f 100644 (file)
--- a/src/w32term.h
+++ b/src/w32term.h
@@ -410,6 +410,9 @@ struct w32_output
   /* Nonzero means menubar is currently active.  */
   char menubar_active;
 
+  /* Nonzero means a menu command is being processed.  */
+  char menu_command_in_progress;
+
   /* Nonzero means menubar is about to become active, but should be
      brought up to date first.  */
   volatile char pending_menu_activation;